منابع مشابه
On Checking Parallel Real-Time Systems for Linear Duration Invariants
In this paper we define timed regular expressions to describe the timed behaviour of parallel real-time systems and consider the problem of checking algorithmically the set of timed behaviours defined by timed regular expressions for a real-time requirement specified by a linear duration invariant. In general, the problem can be solved by using the mixed integer linear programming techniques. W...
متن کاملReal-Time Kinematic Network of Tehran, from Design to Application
Following the request of the Tehran municipality and in order to provide the spatial information required in their various projects, a real-time kinematic network has been designed for Tehran. Based on the existing measures such as the dilution of precision at the network point positions, two different designs have been proposed. A minimum number of six GNSS stations are used in both of the pro...
متن کاملInvariants for time-dependent Hamiltonian systems.
An exact invariant is derived for n-degree-of-freedom Hamiltonian systems with general time-dependent potentials. The invariant is worked out in two equivalent ways. In the first approach, we define a special Ansatz for the invariant and determine its time-dependent coefficients. In the second approach, we perform a two-step canonical transformation of the initially time-dependent Hamiltonian t...
متن کاملNetwork Access Protocols for Real-Time Distributed Control Systems
Analysis and design for real-time distributed data communication and control system networks is an evolving field which requires interactions between the disciplines of communication systems and control systems engineering. Concepts of pertinent network parameters are introduced and an analytical base for system design is establisbed. A simulation methodology has been developed for performance ...
متن کاملLightweight Real-Time Network Communication Protocol for Commodity Cluster Systems
Lightweight real-time network communication is crucial for commodity cluster systems and embedded control systems. This paper introduces the design, implementation and evaluation of SS-RTUDP, a novel zero-copy data path based real-time communication protocol with efficient communication resources management. To avoid unpredictable overheads during SS-RTUDP packets transmission, all communicatio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2004
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2003.10.006